The essays look at the role of the military in the Cold War and after, and review the prospects for war and peace in the next century."--BOOK JACKET.

Abstract Is the use of armed force by international forces in Afghanistan ethically justified? The answer is one of degree: the fighting is neither completely just nor completely unjust. To evaluate the extent of justification, a novel Just War Index (JWI) is introduced. It is a composite indicator: the average of estimated values for seven criteria from the long-standing Just War tradition ? Just Cause, Right Intent, Net benefit, Legitimate Authority, Last Resort, Proportionality of Means and Right Conduct, each of (...) which are evaluated on a 7-point scale. Because the two international missions using armed force in Afghanistan ? the International Security Assistance Force (ISAF) and Operation Enduring Freedom (OEF) ? have different mandates, different histories and different approaches to the use of force, they are evaluated separately. The ISAF mission is found considerably more justified than OEF though still ethically deficient. (shrink)

This paper develops the first deontic logic in the context of paraconsistent logics.

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

In this paper, we reflect on current notions of engineering practice by examining some of the motives for engineered solutions to the problem of climate change. We draw on fields such as science and technology studies, the philosophy of technology, and environmental ethics to highlight how dominant notions of apoliticism and ahistoricity are ingrained in contemporary engineering practice. We argue that a solely technological response to climate change does not question the social, political, and cultural tenet of infinite material growth, (...) one of the root causes of climate change. In response to the contemporary engineering practice, we define an activist engineer as someone who not only can provide specific engineered solutions, but who also steps back from their work and tackles the question, What is the real problem and does this problem “require” an engineering intervention? Solving complex problems like climate change requires radical cultural change, and a significant obstacle is educating engineers about how to conceive of and create “authentic alternatives,” that is, solutions that differ from the paradigm of “technologically improving” our way out of problems. As a means to realize radically new solutions, we investigate how engineers might deploy the concept of praxis, which raises awareness in engineers of the inherent politics of technological design. Praxis empowers engineers with a more comprehensive understanding of problems, and thus transforms technologies, when appropriate, into more socially just and ecologically sensitive interventions. Most importantly, praxis also raises a radical alternative rarely considered—not “engineering a solution.” Activist engineering offers a contrasting method to contemporary engineering practice and leads toward social justice and ecological protection through problem solving by asking not, How will we technologize our way out of the problems we face? but instead, What really needs to be done? (shrink)

A signal feature of legal and political institutions is that they exercise coercive power. The essays in this volume examine institutional coercion with the aim of trying to understand its nature, justification and limits. Included are essays that take a fresh look at perennial questions. Leading scholars from philosophy, political science and law examine these and related questions shedding new light on an apparently inescapable feature of political and legal life: Coercion.

MOHAMMED SA, WALTERS KL, LAMARR J, EVANS‐CAMPBELL T and FRYBERG S. Nursing Inquiry 2012; 19: 116–127 [Epub ahead of print]Finding middle ground: negotiating university and tribal community interests in community‐based participatory researchCommunity‐based participatory research (CBPR) has been hailed as an alternative approach to one‐sided research endeavors that have traditionally been conducted on communities as opposed to with them. Although CBPR engenders numerous relationship strengths, through its emphasis on co‐sharing, mutual benefit, and community capacity building, it is often challenging as well. (...) In this article, we describe some of the challenges of implementing CBPR in a research project designed to prevent cardiovascular disease among an indigenous community in the Pacific Northwest of the United States and how we addressed them. Specifically, we highlight the process of collaboratively constructing a Research Protocol/Data Sharing Agreement and qualitative interview guide that addressed the concerns of both university and tribal community constituents. Establishing these two items was a process of negotiation that required: (i) balancing of individual, occupational, research, and community interests; (ii) definition of terminology (e.g., ownership of data); and (iii) extensive consideration of how to best protect research participants. Finding middle ground in CBPR requires research partners to examine and articulate their own assumptions and expectations, and nurture a relationship based on compromise to effectively meet the needs of each group. (shrink)

The spreading of COVID-19 misinformation on social media could have severe consequences on people's behavior. In this paper, we investigated the emotional expression of misinformation related to the COVID-19 crisis on Twitter and whether emotional valence differed depending on the type of misinformation. We collected 17,463,220 English tweets with 76 COVID-19-related hashtags for March 2020. Using Google Fact Check Explorer API we identified 226 unique COVID-19 false stories for March 2020. These were clustered into six types of misinformation. Applying the (...) 226 classifiers to the Twitter sample we identified 690,004 tweets. Instead of running the sentiment on all tweets we manually coded a random subset of 100 tweets for each classifier to increase the validity, reducing the dataset to 2,097 tweets. We found that only a minor part of the entire dataset was related to misinformation. Also, misinformation in general does not lean towards a certain emotional valence. However, looking at comparisons of emotional valence for different types of misinformation uncovered that misinformation related to “virus” and “conspiracy” had a more negative valence than “cures,” “vaccine,” “politics,” and “other.” Knowing from existing studies that negative misinformation spreads faster, this demonstrates that filtering for misinformation type is fruitful and indicates that a focus on “virus” and “conspiracy” could be one strategy in combating misinformation. As emotional contexts affect misinformation spreading, the knowledge about emotional valence for different types of misinformation will help to better understand the spreading and consequences of misinformation. (shrink)

The role of responsible leadership—for each leader and as part of a leader’s collective actions—is essential to global competitive success (Doh and Stumpf, Handbook on responsible leadership and governance in global business, 2005 ; Maak and Pless, Responsible leadership, 2006a . Failures in leadership have stimulated interest in understanding “responsible leadership” by researchers and practitioners. Research on responsible leadership draws on stakeholder theory, with employees viewed as a primary stakeholder for the responsible organization (Donaldson and Preston, Acad Manag Rev 20(1):65–91, (...) 1995 ; Freeman, Strategic management: a stakeholder approach, 1984 ; Mitchell et al., Acad Manag Rev 22:853–886, 1997 ; Phillips and Freeman, Stakeholder theory and organizational ethics, 2003 . We define and operationalize responsible leadership from the perspective of employees and their views of the actions of their leaders. Drawing on a comprehensive survey of 28 Indian and global organizations operating in India, we report the results from 4,352 employees on the relationship between responsible leadership, their pride in and satisfaction with their organization, and retention 1 year later. Strong associations were found among these variables suggesting that responsible leadership—employee perceptions of the support they receive from managers, the HR practices, and corporate socially responsible actions—may be an overarching construct that connects them to the organization. (shrink)

Clinical trials of xenotransplantation may begin early in the next decade, with kidneys from genetically modified pigs transplanted into adult humans. If successful, transplanting pig hearts into children with advanced heart failure may be the next step. Typically, clinical trials have a specified end date, and participants are aware of the amount of time they will be in the study. This is not so with XTx. The current ethical consensus is that XTx recipients must consent to lifelong monitoring. While this (...) presents challenges to the right to withdraw in the adult population, additional and unanswered questions also linger in the paediatric population. In paediatric XTx, parents or guardians consent not only to the initial treatment of the child but also to lifelong monitoring, thus making a decision whose consequences will remain present as the child develops the capacity for assent, and finally the capacity for informed consent or refusal. This article presents and evaluates unanswered paediatric ethical questions in regard to the right to withdraw from XTx follow-up in the paediatric population. (shrink)

The June 1975 issue of the Hastings Center Report published the Deliberations and Recommendations of the National Commission for the Protection of Human Subjects concerning the regulation of fetal experimentation. The Commission's most controversial conclusions were as follows: First, it voted to allow non‐therapeutic research on the human fetus, provided important biomedical knowledge could not be gained in any other way, proper consent had been obtained, and the research imposed “minimal or no risk to the well‐being of the fetus” (Recommendation (...) 4). Because interpretations of the last phrase varied in the case of fetuses scheduled for abortion, the Commission recommended that a national ethical review body be able to rule on disputed cases (Recommendation 5). In the case of research during abortion and research on the non‐viable fetus ex utero, the Commission's interpretation of permissible “harm” was restricted to the proviso that “no intrusion into the fetus [may be] made which alters the duration of life” (Recommendation 6). The Commission also recommended further research on abortion techniques (Recommendation 12). The Secretary of Health, Education and Welfare accepted the Commission's Recommendations almost without change—the major modification was to request paternal consent rather than to rely on the fact that “the father has not objected.” The DHEW regulations were published in the Federal Register on Friday, August 8, 1975, and written comments on them were invited. Already, however, a number of commentators including several members of the Commission had offered either dissenting or qualifying remarks. Some are printed here. (shrink)

Gene therapy approaches have great promise in the treatment of neurodegenerative disorders and malignant brain tumors. Neuwelt et al. review available viral-mediated gene therapy methods and their blood-brain-barrier (BBB) disruption delivery technique, briefly mentioning nonviral mediated gene therapy methods. This commentary discussed the BBB disruption delivery technique, viral and nonviral mediated gene therapy approaches to Parkinson's disease, and the potential use of antisense oligo to suppress malignant brain tumors.

Author list: H. Frey; A. Willwoll; Georg Wunderle; E. Raitz V. Frentz; Q. Wihstutz; G. Wihstutz; R. Walter; A. Bolley; E. Steinwand; R.H. Thouleß; B. Vasady; A. Bolley.

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

his paper presents a unified treatment of the propositional and first-order many-valued logics through the method of tableaux. It is shown that several important results on the proof theory and model theory of those logics can be obtained in a general way. We obtain, in this direction, abstract versions of the completeness theorem, model existence theorem (using a generalization of the classical analytic consistency properties), compactness theorem and Lowenheim-Skolem theorem. The paper is completely self-contained and includes examples of application to (...) particular many-valued formal systems. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

This article introduces the three-valuedweakly-intuitionistic logicI 1 as a counterpart of theparaconsistent calculusP 1 studied in [11].I 1 is shown to be complete with respect to certainthree-valued matrices. We also show that in the sense that any proper extension ofI 1 collapses to classical logic.The second part shows thatI 1 is algebraizable in the sense of Block and Pigozzi (cf. [2]) in a way very similar to the algebraization ofP 1 given in [8].

After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: ( conservative ) translations , transfers and contextual translations . Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)